how to use aws cdk